Словарь по логике - синтаксис
Связанные словари
Синтаксис
синтаксис
(греч. syntaxis построение, порядок) раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации. Синтаксисом формализованного языка называют систему правил построения выражений этого языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами.
Рейтинг статьи:
См. в других словарях
1.
(от греч. построение, порядок) в логике, изучение чисто формальной части формализов. языка, т. е. неинтерпретированного исчисления. Объектами такого изучения служат алфавит рассматриваемого исчисления (формальной системы), правила образования выражений (формул) предметного языка (языкаобъекта; см. Метаязык) исчисления и правила преобразования (правила вывода) в нём. В отличие от такого «логич. С.» часто говорят о «С. в узком смысле», ограничивающемся «чисто синтаксической» (в обычном грамматич. смысле) стороной системы, т. е. не рассматривающем её правила преобразования. Элементарным С. наз. изучение синтаксич. (в обоих упомянутых смыслах) свойств к.-л. конкретной формальной системы нек-рыми спец. эффективными средствами, как это принято в метаматематич. (см. Метатеория) исследованиях. Теоретический С.-это общая теория всевозможных формальных систем (или класса систем) к.-л. определ. вида, на аппарат к-рой обычно никаких ограничений не накладывается. Элементарный и теоретич. С. оперируют обычным содержательно понимаемым языком (к-рый, в свою очередь, сам может быть формализован и служить предметом строгого...Советский философский словарь
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1496 | |
2 | 1309 | |
3 | 1165 | |
4 | 1009 | |
5 | 766 | |
6 | 712 | |
7 | 686 | |
8 | 683 | |
9 | 655 | |
10 | 653 | |
11 | 613 | |
12 | 612 | |
13 | 573 | |
14 | 572 | |
15 | 561 | |
16 | 559 | |
17 | 554 | |
18 | 539 | |
19 | 536 | |
20 | 522 |